Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท17h
๐Ÿ”—Graph Isomorphism
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท6h
๐Ÿ”ขDenotational Semantics
An enough week
blog.mitrichev.chยท1dยท
๐Ÿ“ˆLinear programming
Building the Reasoning Engine at Axiom
axiommath.aiยท2hยท
Discuss: Hacker News
โš”๏ธLean Tactics
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ“E-graphs
AI Renaissance: Bridging the Gap Between Intuition and Logic
dev.toยท11hยท
Discuss: DEV
๐Ÿค–Paleographic AI
Categorical systems theory
topos.instituteยท9h
๐Ÿ”€Category Theory
Ship Broken Things
matmul.netยท1dยท
Discuss: Hacker News
๐Ÿ”—Topological Sorting
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.orgยท17h
๐ŸงฎTheorem Proving
Three ways formally verified code can go wrong in practice
buttondown.comยท4h
๐Ÿ“œProof Carrying Code
Neuro-Symbolic AI
en.wikipedia.orgยท7hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Erlang-Red Walkthrough โ€“ Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.comยท7hยท
Discuss: Hacker News
๐ŸŒProtocol Synthesis
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท20hยท
โœ…Format Verification
Computational Complexity of Covering Two-vertex Multigraphs with Semi-edges
arxiv.orgยท1d
๐Ÿ•ธ๏ธGraph Algorithms
Experimenting with ACL2 and Claude Code
mikedodds.orgยท9hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Estimating Fair Graphs from Graph-Stationary Data
arxiv.orgยท17h
๐ŸŒˆSpectral Methods
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.comยท5hยท
Discuss: Hacker News
๐Ÿ“Linear Algebra
Three Solutions to Nondeterminism in AI
blog.hellas.aiยท2dยท
Discuss: Hacker News
๐ŸŽฏPerformance Proofs